$\forall$$x$, $y$:Unit. Dec($x$ $=$ $y$)